Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
371	Improving the Use of Program Evaluation for Maximum Health Impact: Guidelines and Recommendations November 2012 Overview Evaluation is a systematic method for collecting, analyzing, and using data to examine the effectiv Add to Reading List Source URL: www.cdc.gov Language: English - Date: 2015-04-02 10:59:48 Methodology Impact assessment Program evaluation Logic model Empowerment evaluation Impact evaluation Evaluation Evaluation methods Sociology
372	Advanced encoding of programs CS294: Program Synthesis for Everyone Ras Bodik Emina Torlak Division of Computer Science Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-09-09 10:02:45 Model theory Electronic design automation Relational model Z3 Unsatisfiable core Logic synthesis First-order logic Transitive closure Finitary relation Logic Mathematics Mathematical logic
373	DLP DEVELOPMENTAL LEADERSHIP PROGRAM Research Paper Add to Reading List Source URL: publications.dlprog.org Language: English - Date: 2015-01-23 13:33:52 Political corruption Structure Collective action Fiji Independent Commission Against Corruption Bribery The Logic of Collective Action Principal–agent problem Transparency International Corruption Social issues Ethics
374	FabSim A (semiconductor) factory simulator FabSim Structure FabSim Interactive is a compact fab simulator contained in a single C++ Windows dynamic link library. The dll is controlled by a supervisor program written in B Add to Reading List Source URL: www.fabsim.com Language: English - Date: 2004-11-16 14:58:28 Electronic design automation Operations research Simulation Logic simulation Semiconductor fabrication plant Simulation software Electronic engineering Digital electronics Logic design
375	Introduction Budget Paper No. 3 provides an analysis of the financial and non-financial performance of general government agencies. Under each Minister’s portfolio, commentary is provided on portfolio agencies’ exp Add to Reading List Source URL: www.treasury.nsw.gov.au Language: English - Date: 2007-09-26 08:41:59 Business Budgets Government procurement in the United States Program management Cash flow statement Logic model Accountancy Financial statements Finance
376	Completeness of Propositional Logic as a Program Ryan Stansifer Department of Computer Sciences Florida Institute of Technology Melbourne, Florida USA 32901 Add to Reading List Source URL: cs.fit.edu Language: English - Date: 2006-01-03 14:49:24 Propositional calculus Proof theory Logical syntax Fuzzy logic Deduction theorem Contradiction Axiom Theorem BL Logic Mathematical logic Mathematics
377	Separation Logic for Small-step Cminor Andrew W. Appel1,? and Sandrine Blazy2,? 1 Princeton University 2 Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2008-06-30 05:17:26 Deduction Logic in computer science Entailment Logical consequence Model theory Symbol Separation logic Hoare logic Logic Metalogic Program logic
378	Programming with Constraint Solvers CS294: Program Synthesis for Everyone Ras Bodik Emina Torlak Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2012-09-04 09:58:41 Computing Constraint programming Numerical software Declarative programming Prolog Logic programming Solver Function B-Prolog Software engineering Computer programming Programming paradigms
379	Induction, Deduction, and Abduction for Program Design and Maintenance Ahmed Guessoum Jan Komorowski Knowledge Systems Group Department of Computer Systems and Telematics Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-05-08 04:37:31 Reasoning Mathematical logic Theoretical computer science Logic programming Algorithm KeY Abductive reasoning Science Knowledge Logic
380	< PAGE * MERGEFORMAT >ii Budget Estimates[removed]Budget Estimates[removed] < PAGE * MERGEFORMAT >i Introduction Budget Paper No. 3 provides an analysis of the financial and non-financial performance of general governme Add to Reading List Source URL: www.treasury.nsw.gov.au Language: English - Date: 2007-09-26 08:31:01 Business Budgets Government procurement in the United States Program management Cash flow statement Central Intelligence Agency Logic model Fund accounting Accountancy Financial statements Finance

UPDATE